Langages á un Compteur

Space Classes, Intersection of Languages and Bounded Erasing Homomorphisms

— We characterize space complexity classes in terms of bounded erasing homomorphisms applied to threefoid intersections of one-counter languages, and also we characterize the classes which are given by bounded erasing homomorphisms applied to mixed intersections of one-counter languages and context-free languages or one-counter languages and checking stack languages. A generalization to erasing...

Vers un modèle du raisonnement dans les langages à objets

Résumé Ce papier est une proposition de modèle du raisonnement dans les langages hybrides, intégrant un langage de programmation par objets avec des règles de production. Nous proposons de différencier entre deux catégories d'objets, les objet du monde perçu et ceux du monde conçu. Le raisonnement est alors considéré comme un processus qui crée ou modifie le monde conçu à partir d'observations ...

Ìöööòòùððö ×ýñññøöý Ñóð× Óö Á ¢ Á ¢ Á Óòøøòòòò Blockiný Øøøðð×

Qualité des langages de modélisation et des modèles : vers un catalogue des patrons collaboratifs

The quality of modeling languages and models as well as their evaluation are an important concern for the designer. Moreover, the proliferation of quality concepts’ definition and the large number of works that appear every day, require the structuring and the pooling of knowledge of this field. In this paper, we propose a collaboratif patterns’ system that capitalizes the knowledge on the qual...

CIRCUS, un générateur de composants pour le traitement des langages visuels et textuels